Quick Brown Fox in Formal Languages
نویسنده
چکیده
Given a finite alphabet Σ and a deterministic finite automaton on Σ, the problem of determining whether the language recognized by the automaton contains any pangram is NP-complete.
منابع مشابه
Deterministic Fuzzy Automaton on Subclasses of Fuzzy Regular ω-Languages
In formal language theory, we are mainly interested in the natural language computational aspects of ω-languages. Therefore in this respect it is convenient to consider fuzzy ω-languages. In this paper, we introduce two subclasses of fuzzy regular ω-languages called fuzzy n-local ω-languages and Buchi fuzzy n-local ω-languages, and give some closure properties for those subclasses. We define a ...
متن کاملHow Does Explicit and Implicit Instruction of Formal Meta-discourse Markers Affect Learners’ Oral Proficiency?
Meta-discourse markers are an inevitable part of oral proficiency which improve both the quality and comprehension of learners’ speech. While studies of oral meta-discourse have been conducted since the 1980s in a European or US context, they have remained relatively untouched in Iran. Therefore, this study aimed to seek the impact of both explicit and implicit teaching of formal meta-discourse...
متن کاملComparative linear accuracy of cone beam CT derived 3D images in orthodontic analysis
COMPARATIVE LINEAR ACCURACY OF CONE BEAM CT DERIVED 3D IMAGES IN ORTHODONTIC ANALYSIS April A. Brown, BS, D.M.D.
متن کاملHow does Explicit and Implicit Instruction of Formal Meta-discourse Markers Affect Learners’ Writing Skills?
Discourse markers improve both the quality and comprehension of a written text. This study aimed at investigating the effect of explicit and implicit instruction of formal meta-discourse markers on writ- ing skills. The quantitative data were collected from 90 upper-intermediate students at Shiraz Univer- sity Language Center. Two experimental groups went through an instruction, while the contr...
متن کاملGraphical Integrated Development Environment for Larch Speciications Graphical Integrated Development Environment for Larch Speciications
Formal methods are playing an increasingly important role in software development. The use of algebraic languages to formally specify software systems provides a better understanding of the functionality of the software and aids in ensuring the correctness and reliability of the software. However, to ensure software correctness and completeness, the formal speciication of the system must rst be...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- CoRR
دوره abs/1512.08168 شماره
صفحات -
تاریخ انتشار 2015